#include<stdio.h>
int main ()
{
    int n = 0;
    int s = 0;
    scanf_s("%d",&n);
    s = n/12*4+2;
    printf("%d",s);
    return 0;
}